Философия науки - конструктивизм (математический)
Связанные словари
Конструктивизм (математический)
конструктивизм (математический)
направление в метаматематике и построенные на его основе математические теории (конструктивная логика, конструктивная теория множеств, арифметика, анализ и т. д. и т. п.). Возникло в 40-50-е гг. XX в. в СССР как результат «скрещивания» основных математических идей интуиционизма (Л. Брауэр, Г. Гейтинг и др.) с аутентичной теорией познания марксизма, где процесс познания трактовался не как процесс пассивного отражения сознанием объекта, а как активная деятельность мышления с идеальными объектами, изоморфными по своей структуре материально-предметной деятельности человека. Наиболее видными представителями математического конструктивизма были Цейтин, Марков, Шанин, Заславский. С точки зрения конструктивистов вся классическая математика является недостаточно строгой наукой, так как основана на таких «темных» понятиях как «актуальная бесконечность», «универсальный характер законов исключенного третьего и двойного отрицания», логической непротиворечивости как необходимого и достаточного критерия существования математического объекта и т. д. Согласно конструктивистам, основным методом построения математических теорий должна быть не дедукция, а конструктивно—генетический метод, согласно которому любой математический объект и любые утверждения о нем должны быть результатом деятельности мышления по построению более сложных конструкций из более простых, по определенным, простым и легко контролируемым правилам построения — алгоритмам, позволяющим с помощью конечного числа шагов, конечного числа операций за конечное время однозначно получить итоговую конструкцию. Получил широкое признание и развитие в связи с развитием вычислительной математики и информационной техники. (См. интуиционизм, философия математики).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 3863 | |
2 | 3824 | |
3 | 3658 | |
4 | 3017 | |
5 | 2331 | |
6 | 2308 | |
7 | 2292 | |
8 | 2166 | |
9 | 1926 | |
10 | 1845 | |
11 | 1758 | |
12 | 1705 | |
13 | 1606 | |
14 | 1583 | |
15 | 1461 | |
16 | 1426 | |
17 | 1422 | |
18 | 1408 | |
19 | 1312 | |
20 | 1241 |